- Философия в европейском восприятии первоначально, она была идея-то отличная - как сделать так, чтобы человеку стало хорошо, - сказал Шемякин. - Что за хуита, - подумал я тотчас же, но решил не связываться - возиться было неохота.
Первая теорема утверждает, что если формальная арифметика непротиворечива, то в ней существует невыводимая и неопровержимая формула.
Вторая теорема утверждает, что если формальная арифметика непротиворечива, то в ней невыводима формула, содержательно утверждающая непротиворечивость этой арифметики.